Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
781	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-28 09:34:43 Model theory Boolean algebra Propositional calculus Cutting-plane method Resolution First-order logic Function Interpretation Linear programming Mathematics Logic Mathematical logic
782	No-Regret Learning in Convex Games Geoffrey J. Gordon Machine Learning Department, Carnegie Mellon University, Pittsburgh, PA[removed]removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-05-10 08:42:50 Function Swap regret Golden ratio base Linear temporal logic Mathematics Compiler construction Static single assignment form
783	DIAGRAM REWRITING AND OPERADS by Yves Lafont Abstract. — We give a survey of a diagrammatic syntax for PROs and PROPs, which are related to the theory of operads and bialgebras. Using diagram rewriting, Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2010-02-10 09:08:50 Physics Mathematics Linear temporal logic Μ operator Symbol Operad theory Canonical commutation relation
784	Possession as Linear Knowledge Frank Pfenning [with Deepak Garg, Henry DeYoung, and Michael Ashley-Rollman] Department of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-07-15 09:34:10 Mathematics Non-classical logic Artificial intelligence Epistemic modal logic Modal logic Epistemology Authorization Linear logic Axiom Logic Mathematical logic Branches of philosophy
785	Logic, Automata, Games, and Algorithms Moshe Y. Vardi Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-11 21:41:58 Computer science Deterministic finite automaton Nondeterministic finite automaton Model theory Regular language Structure First-order logic Powerset construction Linear temporal logic Automata theory Theoretical computer science Logic
786	Concurrent Programming in Linear Type Theory Frank Pfenning Carnegie Mellon University Joint work with Luís Caires, Bernardo Toninho, Jorge Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-02-12 07:25:52 Mathematical logic Natural deduction Logic Mathematics Science
787	Under consideration for publication in Theory and Practice of Logic Programming 1 A Linear Logic Programming Language for Concurrent Programming over Graph Structures Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-02-18 19:39:57 Logic programming Datalog Linear logic Prolog Logic PageRank Static single assignment form Software engineering Computing Programming language theory
788	i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:48 Logic Logic in computer science Linear temporal logic Model checkers Model checking Computation tree logic Stable model semantics Modal logic SPIN model checker Temporal logic Theoretical computer science Mathematical logic
789	Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic Jason Reed∗ University of Pennsylvania Philadelphia, Pennsylvania, USA Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-19 08:28:42 Proof theory Philosophical logic Deduction Propositional calculus Natural deduction Linear logic First-order logic Substructural logic Modal logic Logic Mathematical logic Non-classical logic
790	Linear Logical Relations and Observational Equivalences for Session-Based Concurrency Jorge A. P´ereza , Lu´ıs Cairesa , Frank Pfenningb , Bernardo Toninhoa,b a CITI and Departamento de Inform´atica, FCT Universidad Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-10-12 12:11:49 Type theory Theoretical computer science Proof theory Logic in computer science Deduction Curry–Howard correspondence Lambda calculus Entailment Π-calculus Logic Mathematics Mathematical logic

UPDATE